/* this header describes some functions to use to timer */
#ifndef TIMER_H
#define TIMER_H

#include "types.h"

/* the following defines assume a frequency of 10 Mhz */

#define TIMER_MSEC 10000
#define TIMER_USEC 10

#define TIME_QUANTUM_IN_MS 1
#define TIME_QUANTUM TIME_QUANTUM_IN_MS*TIMER_MSEC

void kset_timer(uint32_t delay);

#endif
